翻訳と辞書
Words near each other
・ Commutation Act
・ Commutation cell
・ Commutation matrix
・ Commutation test
・ Commutation theorem
・ Commutative algebra
・ Commutative diagram
・ Commutative non-associative magmas
・ Commutative property
・ Commutative ring
・ Commutative ring spectrum
・ Commutativity of conjunction
・ Commutator
・ Commutator (electric)
・ Commutator collecting process
Commutator subgroup
・ Commutator subspace
・ Commute
・ Commuted cash value
・ Commuter (Iarnród Éireann)
・ Commuter Aircraft Corporation CAC-100
・ Commuter Airlines
・ Commuter assistance
・ Commuter Cars
・ Commuter Cars Tango
・ Commuter Challenge
・ Commuter Husbands
・ Commuter newspaper
・ Commuter rail
・ Commuter rail in Australia


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Commutator subgroup : ウィキペディア英語版
Commutator subgroup
In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group.
The commutator subgroup is important because it is the smallest normal subgroup such that the quotient group of the original group by this subgroup is abelian. In other words, ''G''/''N'' is abelian if and only if ''N'' contains the commutator subgroup. So in some sense it provides a measure of how far the group is from being abelian; the larger the commutator subgroup is, the "less abelian" the group is.
== Commutators ==
(詳細はcommutator of ''g'' and ''h'' is () = g^h^gh . The commutator () is equal to the identity element ''e'' if and only if ''gh'' = ''hg'', that is, if and only if ''g'' and ''h'' commute. In general, ''gh'' = ''hg''().
An element of ''G'' which is of the form () for some ''g'' and ''h'' is called a commutator. The identity element ''e'' = () is always a commutator, and it is the only commutator if and only if ''G'' is abelian.
Here are some simple but useful commutator identities, true for any elements ''s'', ''g'', ''h'' of a group ''G'':
* ()^ = ().
* ()^s = (), where g^s = s^gs, the conjugate of g by s.
* For any homomorphism ''f'': ''G'' → ''H'', ''f''(()) = ().
The first and second identities imply that the set of commutators in ''G'' is closed under inversion and conjugation. If in the third identity we take ''H'' = ''G'', we get that the set of commutators is stable under any endomorphism of ''G''. This is in fact a generalization of the second identity, since we can take ''f'' to be the conjugation automorphism on ''G'', x \mapsto x^s , to get the second identity.
However, the product of two or more commutators need not be a commutator. A generic example is ()() in the free group on ''a'',''b'',''c'',''d''. It is known that the least order of a finite group for which there exists two commutators whose product is not a commutator is 96; in fact there are two nonisomorphic groups of order 96 with this property.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Commutator subgroup」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.